Перевод: со всех языков на русский

с русского на все языки

quotient morphism

См. также в других словарях:

  • Quotient category — In mathematics, a quotient category is a category obtained from another one by identifying sets of morphisms. The notion is similar to that of a quotient group or quotient space, but in the categorical setting.DefinitionLet C be a category. A… …   Wikipedia

  • Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… …   Wikipedia

  • Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… …   Wikipedia

  • Cokernel — Coker (mathematics) redirects here. For other uses, see Coker (disambiguation). In mathematics, the cokernel of a linear mapping of vector spaces f : X → Y is the quotient space Y/im(f) of the codomain of f by the image of f. Cokernels are… …   Wikipedia

  • Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… …   Wikipedia

  • Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… …   Wikipedia

  • Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… …   Wikipedia

  • Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

  • Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… …   Wikipedia

  • Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»